home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group92c.txt / 000038_icon-group-sender _Fri Oct 23 16:46:21 1992.msg < prev    next >
Internet Message Format  |  1993-01-04  |  3KB
  1. Received: by cheltenham.cs.arizona.edu; Wed, 28 Oct 1992 09:34:08 MST
  2. Date: 23 Oct 92 16:46:21 GMT
  3. From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!malgudi.oar.net!caen!spool.mu.edu!darwin.sura.net!paladin.american.edu!news.univie.ac.@!hp4at!mcsun!Germany.EU.net!sbsvax!coli-gate.coli.uni-sb  (Stephen Spackman)
  4. Organization: DFKI Saarbruecken GmbH, D-W 6600 Saarbruecken
  5. Subject: Re: confusing errors
  6. Message-Id: <SPACKMAN.92Oct23174836@disco-sun6.dfki.uni-sb.de>
  7. References: <1992Oct12.140817.25199@midway.uchicago.edu>
  8. Sender: icon-group-request@cs.arizona.edu
  9. To: icon-group@cs.arizona.edu
  10. Status: R
  11. Errors-To: icon-group-errors@cs.arizona.edu
  12.  
  13. In article <1992Oct15.155939.2562@midway.uchicago.edu> goer@ellis.uchicago.edu (Richard L. Goerwitz) writes:
  14. |stephen@acm.org writes:
  15.  
  16. |>|If anybody find the Icon tokenizer interesting (automatic semicolon inser-
  17. |>|tion is really a great idea - why don't all languages do it?), then here's
  18. |>|a fun program.
  19. |>
  20. |>Makes about as much sense as automatic plus insertion or automatic
  21. |>atanh() insertion, if you ask me.
  22. |
  23. |I didn't ask, Stephen, but since you interject I respond with a basic
  24. |remark about tokens and their semantics:  Some terminals map to nodes
  25. |in the abstract syntax tree; some only demarcate expressions.  When and
  26. |if they are superfluous, they should be eliminated, as long as doing so
  27. |does not render the language more opaque.
  28.  
  29. But but but. The semicolon operator DOES have semantics: it explicitly
  30. evaluates and discards its left argument and returns its right! It's the
  31. most drastic operator in the book! Now *parentheses*, I grant, don't do
  32. anything at abstract syntax. Wanna make THOSE optional?
  33.  
  34. |Opacity is a subjective judgment, of course, so let's check to see if
  35. |you know Icon in the first place.  Can you illustrate where automatic
  36. |semicolon insertion might render Icon source code less readable, or
  37. |introduce unexpected behavior?  I'm waiting....
  38.  
  39. Nono, not my point. It reduces regularity in the language, limits the
  40. ease with it can be read and written automatically, and increases the
  41. potential for errors to be introduced during the editing process.
  42. Readability and unexpected behaviour are not the only criteria -
  43. otherwise we'd use natural language prose cross-checked by requiring
  44. submission of source in english and two other natural languages related
  45. at a time depth of no less than three thousand years....
  46.  
  47. Now Icon isn't a language whose syntax fits on half a page anyway, so
  48. perhaps I shouldn't kick; but I can't help feeling that we should
  49. *start* demanding that languages be reasonably straightforward....
  50.  
  51. stephen
  52.